H ? « ‹ ← → › »

Language peer sets for MTL:
United States↑
United States/1992↑
Designed 1992 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

MTL(ID:6843/)

alternate simple view
Country: United States
Designed 1992

Temporal extensions to prolog
Related languages
Prolog → MTL   Extension of
References:
  • Brzoska. (1992) Brzoska. C. Temporal logic programming with metric and past operators. Universitat Karlsruhe, P.O.Box 6980, D-7500 Karlsruhe, Germany, Jan. 1992
  • Orgun, Mehmet A. (1994) Orgun, Mehmet A. "Temporal and Modal Logic Programming: An Annotated Bibliography" SIGART Bulletin 1994 Extract: MTL
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder